COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Professor A. Joshi)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL  CENTER
Sincerely,
.SKIP 6
Douglas B. Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Professor A. Joshi)
Computer Science Department
Moore School of Electrical Engineering
University of Pennsylvania
Philadelphia, Pa. 19104
.FAC

Dear Professor Joshi,

I'm a fourth-year grad student in Stanford's CS department. 
For my dissertation,
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
It uses
skills from %2automatic programming%* to tackle a %2theory
formation%* task. An abstract of the project is enclosed.

My committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. They have suggested that I
write you, since I expect to receive my Ph.D. by next Fall. I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
I attended Penn from 1968 to 1972, and received my B.A. in Math and Physics,
and an M.S. in Applied Mathematics. The courses I took in your department
motivated me to do graduate work in Artificial Intelligence rather than
continuing on in Math or Physics.
The influences of John Carr III and of Regina Bajcsy were particularly strong.

I could visit Penn sometime this Winter,
perhaps in February or early March, to discuss a position for next Fall.
If there is some interest, I would be happy
to give a colloquium on my dissertation research.

.DBL